Imaginaire, merveilleux et sacré avec Jean-Charles Falardeau

Jean-charles Faugère Chapitre 1 Introduction Générale

We present an efficient algorithm for the transformation of a Gröbner basis of a zero–dimensional ideal with respect to any given ordering into a Gröbner basis with respect to any other ordering. This algorithm is polynomial in the degree of the ideal. In particular the lexicographical Gröbner basis can be obtained by applying this algorithm after a total degree Gröbner basis computation: it is...

la part du fantastique et du merveilleux dans la fée aux miettes de charles nodier

l’univers fantastique est un monde intéressant pour l’homme curieux soit dans le domaine de l’art  en général, soit dans celui de la littérature en particulier. les notions du «merveilleux» et du «féerique» sont des formes liées au genre fantastique. la fée aux miettes de charles nodier cache en soi les facteurs des deux genres voisins, celui du fantastique et celui du merveilleux, et montre un...

Jean-pran~ois Richard S~bastien Poitrenaud and Charles Tijus

A general model of problem-solving processes based on misconception elimination is presented to simulate both impasses and solving processes. The model operates an goal-related rules ond a set of constraint rules in the farm of “IF (state or goal), DO NOT (Action)” for the explicit constraints in the instructions and the implicit constraints that come from misconceptions of legal moves. When im...

et fort courant avec commande numérique

CHR modulaire avec ask et tell

Dans ce papier, nous introduisons une version modulaire du langage Constraint Handling Rules (CHR), appelé CHRat pour CHR modulaire avec ask et tell. Toute contrainte définie dans un composant CHRat peut être réutilisée à la fois dans les règles et les gardes d’un autre composant CHRat pour définir de nouveaux solveurs de contraintes. Contrairement aux travaux précédents sur la modularité de CH...